/************************************************************************
 * SSViewer - State Space Viewer for SMLib Library
 * Copyright (C) 2012-2013 Ali Khalili (khalili_DOT_ir_@SIGN_gmail_DOT_com)
 * **********************************************************************
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License (LGPL) published 
 * by the Free Software Foundation; either version 2.1 of the License, or (at your
 * option) any later version. This program is distributed without any
 * warranty. See the GNU Lesser General Public License for more details. 
 * ***********************************************************************
 * The following component is required for SSViewer: 
 * GLEE.msi (http://research.microsoft.com/research/downloads/Details/f1303e46-965f-401a-87c3-34e1331d32c5/Detailslynn.aspx?0sr=a). 
 * The terms and conditions governing GLEE are contained in the license provided 
 * through the above link apply to your use of GLEE. Any license restrictions 
 * provided in the GLEE license are in addition to, not in lieu of, the terms 
 * and conditions of this license. 
 * IT IS YOUR OBLIGATION TO READ AND ACCEPT ALL SUCH TERMS AND CONDITIONS PRIOR TO USE.
 * ***********************************************************************
 * File         :     SSViewer\AutomataVisualizer.cs
 * Description  :     Direct call of visualizer
 * Change log   :     
 * To Do        :
 ************************************************************************/
namespace Visualization
{
    partial class SSViewer<STATETYPE, TRANSITIONTYPE>
    {
        /// <summary>
        /// Required designer variable.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary>
        /// Clean up any resources being used.
        /// </summary>
        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
        protected override void Dispose(bool disposing)
        {
            if (disposing && (components != null))
            {
                components.Dispose();
            }
            base.Dispose(disposing);
        }

        #region Windows Form Designer generated code

        /// <summary>
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            //System.ComponentModel.ComponentResourceManager resources = 
			//	new System.ComponentModel.ComponentResourceManager(typeof(SSViewer<STATETYPE, TRANSITIONTYPE>));
			
            this.button1 = new System.Windows.Forms.Button();
            this.label1 = new System.Windows.Forms.Label();
            this.panel1 = new System.Windows.Forms.Panel();
            this.gViewer = new Microsoft.Glee.GraphViewerGdi.GViewer();
            this.splitter1 = new System.Windows.Forms.Splitter();
            this.myPropertyGrid = new System.Windows.Forms.PropertyGrid();
            this.recalculateLayoutButton = new System.Windows.Forms.Button();
            this.panel1.SuspendLayout();
            this.SuspendLayout();
            // 
            // button1
            // 
            this.button1.Location = new System.Drawing.Point(12, 2);
            this.button1.Name = "button1";
            this.button1.Size = new System.Drawing.Size(156, 23);
            this.button1.TabIndex = 2;
            this.button1.Text = "Show the state space";
            this.button1.UseVisualStyleBackColor = true;
            this.button1.Click += new System.EventHandler(this.button1_Click);
            // 
            // label1
            // 
            this.label1.AutoSize = true;
            this.label1.ForeColor = System.Drawing.SystemColors.Desktop;
            this.label1.Location = new System.Drawing.Point(287, 7);
            this.label1.Name = "label1";
            this.label1.Size = new System.Drawing.Size(106, 13);
            this.label1.TabIndex = 3;
            this.label1.Text = "No object is selected";
            // 
            // panel1
            // 
            this.panel1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
                        | System.Windows.Forms.AnchorStyles.Left)
                        | System.Windows.Forms.AnchorStyles.Right)));
            this.panel1.Controls.Add(this.gViewer);
            this.panel1.Controls.Add(this.splitter1);
            this.panel1.Controls.Add(this.myPropertyGrid);
            this.panel1.Location = new System.Drawing.Point(1, 29);
            this.panel1.Margin = new System.Windows.Forms.Padding(2);
            this.panel1.Name = "panel1";
            this.panel1.Size = new System.Drawing.Size(972, 505);
            this.panel1.TabIndex = 4;
            // 
            // gViewer
            // 
            this.gViewer.AsyncLayout = false;
            this.gViewer.AutoScroll = true;
            this.gViewer.BackwardEnabled = false;
            this.gViewer.Dock = System.Windows.Forms.DockStyle.Fill;
            this.gViewer.ForwardEnabled = false;
            this.gViewer.Graph = null;
            this.gViewer.Location = new System.Drawing.Point(0, 0);
            this.gViewer.MouseHitDistance = 0.05D;
            this.gViewer.Name = "gViewer";
            this.gViewer.NavigationVisible = true;
            this.gViewer.PanButtonPressed = false;
            this.gViewer.SaveButtonVisible = true;
            this.gViewer.Size = new System.Drawing.Size(674, 505);
            this.gViewer.TabIndex = 3;
            this.gViewer.ZoomF = 1D;
            this.gViewer.ZoomFraction = 0.5D;
            this.gViewer.ZoomWindowThreshold = 0.05D;
            // 
            // splitter1
            // 
            this.splitter1.Dock = System.Windows.Forms.DockStyle.Right;
            this.splitter1.Location = new System.Drawing.Point(674, 0);
            this.splitter1.Name = "splitter1";
            this.splitter1.Size = new System.Drawing.Size(3, 505);
            this.splitter1.TabIndex = 2;
            this.splitter1.TabStop = false;
            // 
            // propertyGrid1
            // 
            this.myPropertyGrid.Dock = System.Windows.Forms.DockStyle.Right;
            this.myPropertyGrid.Location = new System.Drawing.Point(677, 0);
            this.myPropertyGrid.Name = "propertyGrid1";
            this.myPropertyGrid.Size = new System.Drawing.Size(295, 505);
            this.myPropertyGrid.TabIndex = 1;
            // 
            // recalculateLayoutButton
            // 
            this.recalculateLayoutButton.Location = new System.Drawing.Point(740, 1);
            this.recalculateLayoutButton.Name = "recalculateLayoutButton";
            this.recalculateLayoutButton.Size = new System.Drawing.Size(193, 23);
            this.recalculateLayoutButton.TabIndex = 5;
            this.recalculateLayoutButton.Text = "Recalclulate Layout";
            this.recalculateLayoutButton.UseVisualStyleBackColor = true;
            this.recalculateLayoutButton.Click += new System.EventHandler(this.recalculateLayoutButton_Click);
            // 
            // Visualization
            // 
            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
            this.ClientSize = new System.Drawing.Size(970, 532);
            this.Controls.Add(this.recalculateLayoutButton);
            this.Controls.Add(this.panel1);
            this.Controls.Add(this.label1);
            this.Controls.Add(this.button1);
            //this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
            this.Name = "SSViewer";
            this.Text = "State space viewer";
            this.panel1.ResumeLayout(false);
            this.ResumeLayout(false);
            this.PerformLayout();

        }

        #endregion

        private System.Windows.Forms.Button button1;
        private System.Windows.Forms.Label label1;
        private System.Windows.Forms.Panel panel1;
        private System.Windows.Forms.PropertyGrid myPropertyGrid;
        private System.Windows.Forms.Button recalculateLayoutButton;
        private System.Windows.Forms.Splitter splitter1;
        private Microsoft.Glee.GraphViewerGdi.GViewer gViewer;

    }
}

